Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
771	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
772	Knowledge Representation meets Databases — a view of the symbiosis — Alex Borgida Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Knowledge representation Non-classical logic Information science Semantic Web Data modeling Knowledge representation and reasoning Description logic Semantic network Modal logic Science Information Logic
773	Paraconsistent Resolution for Four-valued Description Logics ? Yue Ma1,2 , Pascal Hitzler2 , and Zuoquan Lin1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Model theory Propositional calculus Semantics Paraconsistent logic Resolution Description logic Proj construction Logic Mathematical logic Science
774	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
775	Description Logics Description Logics and Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Model theory Philosophical logic Satisfiability Modal logic Temporal logic Description logic Well-formed formula Linear temporal logic Logic Mathematical logic Non-classical logic
776	Complexity of Reasoning over Entity-Relationship Models? A. Artale1 , D. Calvanese1 , R. Kontchakov2 , V. Ryzhikov1 and M. Zakharyaschev2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Non-classical logic Artificial intelligence Description logic Information science Conceptual schema Entity-relationship model Database schema Symbol Data modeling Computing Information
777	DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Science Artificial intelligence Modal logic Knowledge representation Stable model semantics Description logic Non-monotonic logic Circumscription Logic programming Logic Mathematical logic
778	Expressive Querying over Fuzzy DL-Lite Ontologies(∗) Jeff Z. Pan1 , Giorgos Stamou2 , Giorgos Stoilos2 , and Edward Thomas1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Semantic Web Non-classical logic Fuzzy logic Logic in computer science Conjunctive query Description logic Semantic reasoner Semantic Web Rule Language Logic Mathematical logic Artificial intelligence
779	MUltlog 1.0: Towards an Expert System for Many-valued Logics? ?? Vienna Group for Multiple-valued Logics??? Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 11:50:57 Predicate logic Classical logic Propositional calculus Philosophical logic Many-valued logic Natural deduction First-order logic Modal logic Sequent calculus Logic Mathematical logic Proof theory
780	Pluralism and the Foundations of Mathematics Geoﬀrey Hellman and John L. Bell Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2010-01-13 16:46:14 Mathematical constructivism Philosophy of mathematics Intuitionism Epistemology Non-classical logic Constructivism Intuitionistic logic Set theory Foundations of mathematics Logic Mathematical logic Mathematics

UPDATE